Feeds to Scour
SubscribedAll
Scoured 9563 posts in 1.34 s
Issue 504
haskellweekly.newsยท2d
๐Ÿ”—Monadic Parsing
Preview
Report Post
Resolving Names Once and for All
thunderseethe.devยท1dยท
Discuss: r/programming
โฌ†๏ธLambda Lifting
Preview
Report Post
GHC 9.12.3 is now available
haskell.orgยท1d
๐Ÿ’งLiquidhaskell
Preview
Report Post
ECP-Solutions/ASF: The first embeddable scripting language and runtime that turns VBA into a script host (with NO COM dependencies) , with C-like syntax, closures, FFI for VBA calls, and the powerfull VBA-Expressions math integration.
github.comยท6hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Preview
Report Post
A Validated Semantics for LLVM IR
sf.snu.ac.krยท12h
โœ…Formal Methods
Preview
Report Post
GoMLX: Accelerating Machine Learning with Go, GPUs, and TPUs
dev.toยท10hยท
Discuss: DEV
๐ŸŒŠStreaming Algorithms
Preview
Report Post
What F# Knows About Functors and What Comes Next
dev.toยท1dยท
Discuss: DEV
๐Ÿ’ปProgramming languages
Preview
Report Post
I'm looking for high-level evaluations for a private and unique heuristic logic engine.
reddit.comยท1dยท
Discuss: r/LLM
๐Ÿ”ฎProof Search
Preview
Report Post
Meeting Seed7
genodians.orgยท1d
๐Ÿฆ€Rust Macros
Preview
Report Post
Favorite Compiler and Interpreter Resources
eatonphil.comยท1dยท
Discuss: Hacker News
๐Ÿ“Compiler Design
Preview
Report Post
AI-Driven Formal Theorem Proving in the Lean Ecosystem
leandojo.orgยท1d
โš”๏ธLean Tactics
Preview
Report Post
Streamlinear, a new MCP for Linear
blog.fsck.comยท1d
๐Ÿ“Linear Logic
Preview
Report Post
Profunctors, Arrows, & Static Analysis
elvishjerricco.github.ioยท5dยท
Discuss: Hacker News
๐ŸงฌFunctional Programming
Preview
Report Post
Introducing Pkl, a programming language for configuration
pkl-lang.orgยท5h
๐Ÿ’งLiquid Types
Preview
Report Post
Cheney on the M.T.A.
plover.comยท2d
โฌ†๏ธLambda Lifting
Preview
Report Post
Port of Statistical Rethinking (2nd edition) code to Julia
shmuma.github.ioยท3hยท
Discuss: Hacker News
ฮปLambda Formalization
Preview
Report Post
Treating Functions as Vectors in Hilbert Space
hackaday.comยท1d
๐Ÿ“Linear Algebra
Preview
Report Post
Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Extended Version)
arxiv.orgยท3d
๐Ÿ“œProof Carrying Code
Preview
Report Post
The production bug that made me care about undefined behavior
gaultier.github.ioยท14hยท
Discuss: Hacker News, r/programming
๐Ÿฆ€Rust Macros
Preview
Report Post
Horton persistence progress
terracrypt.netยท12h
๐Ÿฆ€Rust Macros
Preview
Report Post